Automatic allocation of safety requirements to components of a software product line

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design

Non-Unitary Neutrino Propagation From Neutrino Decay

Neutrino propagation in space-time is not constrained to be unitary if very light states - lighter than the active neutrinos - exist into which neutrinos may decay. If this is the case, neutrino flavor-change is governed by a handful of extra mixing and "oscillation" parameters, including new sources of CP-invariance violation. We compute the transition probabilities in the two- and three-flavor scenarios and discuss the different phenomenological consequences of the new physics. These are qualitatively different from other sources of unitarity violation discussed in the literature.Comment: 8 pages, no figure

Supporting the automated generation of modular product line safety cases

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires the traceability of SPL variation across design, including variation in safety analysis and safety cases. In this paper, we propose a method and tool to support the automatic generation of modular SPL safety case architectures from the information provided by SPL feature modeling and model-based safety analysis. The Goal Structuring Notation (GSN) safety case modeling notation and its modular extensions supported by the D-Case Editor were used to implement the method in an automated tool support. The tool was used to generate a modular safety case for an automotive Hybrid Braking System SPL

Influence of estimated training status on anti and pro-oxidant activity, nitrite concentration, and blood pressure in middle-aged and older women

The purpose of this study was to compare the association between anti and pro-oxidant activity, nitrite concentration, and blood pressure (BP) in middle-aged and older women with different levels of estimated training status (TS). The sample consisted of 155 females (50-84 years) who were submitted to a physical examination to evaluate estimated TS through the "Functional Fitness Battery Test," BP measurements, and plasma blood samples to evaluate pro-oxidant and antioxidant activity and nitrite concentrations. Participants were separated by age into a middle-aged group (< 65 years) and an older (≥65 years) group and then subdivided in each group according to TS. Blood biochemistry was similar between groups. On the other hand, protein oxidation was lower in participants with higher TS, independent of age. Older females with higher TS presented higher nitrite concentrations, lower lipoperoxidation, and lower values of BP compared with those with lower TS. Lower GPx activity was observed in participants with higher TS compared with middle-aged with lower TS. Thus, our results suggest that good levels of TS may be associated with lower oxidative stress and higher nitrite concentration and may contribute to maintain normal or reduced blood pressure values.Fil: Jacomini, André M.. Universidade Estadual Paulista Julio de Mesquita Filho; BrasilFil: Dias, Danielle da Silva. Universidade Nove de Julho; BrasilFil: Brito, Janaina de Oliveira. Universidade Nove de Julho; BrasilFil: da Silva, Roberta F.. Universidade Estadual Paulista Julio de Mesquita Filho; BrasilFil: Monteiro, Henrique L.. Universidade Estadual Paulista Julio de Mesquita Filho; BrasilFil: Llesuy, Susana Francisca. Universidade Nove de Julho; Brasil. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Bioquímica y Medicina Molecular. Universidad de Buenos Aires. Facultad Medicina. Instituto de Bioquímica y Medicina Molecular; ArgentinaFil: De Angelis, Kátia. Universidade Nove de Julho; BrasilFil: Amaral, Sandra L.. Universidade Estadual Paulista Julio de Mesquita Filho; BrasilFil: Zago, Anderson S.. Universidade Estadual Paulista Julio de Mesquita Filho; Brasi

Non-collinear Hox gene expression in bivalves and the evolution of morphological novelties in mollusks

Hox genes are key developmental regulators that are involved in establishing morphological features during animal ontogeny. They are commonly expressed along the anterior--posterior axis in a staggered, or collinear, fashion. In mollusks, the repertoire of body plans is widely diverse and current data suggest their involvement during development of landmark morphological traits in Conchifera, one of the two major lineages that comprises those taxa that originated from a uni-shelled ancestor (Monoplacophora, Gastropoda, Cephalopoda, Scaphopoda, Bivalvia). For most clades, and bivalves in particular, data on Hox gene expression throughout ontogeny are scarce. We thus investigated Hox expression during development of the quagga mussel, Dreissena rostriformis, to elucidate to which degree they might contribute to specific phenotypic traits as in other conchiferans. The Hox/ParaHox complement of Mollusca typically comprises 14 genes, 13 of which are present in bivalve genomes including Dreissena. We describe here expression of 9 Hox genes and the ParaHox gene Xlox during Dreissena development. Hox expression in Dreissena is first detected in the gastrula stage with widely overlapping expression domains of most genes. In the trochophore stage, Hox gene expression shifts towards more compact, largely mesodermal domains. Only few of these domains can be assigned to specific developing morphological structures such as Hox1 in the shell field and Xlox in the hindgut. We did not find traces of spatial or temporal staggered expression of Hox genes in Dreissena. Our data support the notion that Hox gene expression has been coopted independently, and to varying degrees, into lineage-specific structures in the respective conchiferan clades. The non-collinear mode of Hox expression in Dreissena might be a result of the low degree of body plan regionalization along the bivalve anterior--posterior axis as exemplified by the lack of key morphological traits such as a distinct head, cephalic tentacles, radula apparatus, and a simplified central nervous system

Identification of transitional disks in Chamaeleon with Herschel

Transitional disks are circumstellar disks with inner holes that in some cases are produced by planets and/or substellar companions in these systems. For this reason, these disks are extremely important for the study of planetary system formation. The Herschel Space Observatory provides an unique opportunity for studying the outer regions of protoplanetary disks. In this work we update previous knowledge on the transitional disks in the Chamaeleon I and II regions with data from the Herschel Gould Belt Survey. We propose a new method for transitional disk classification based on the WISE 12 micron-PACS 70 micron color, together with inspection of the Herschel images. We applied this method to the population of Class II sources in the Chamaeleon region and studied the spectral energy distributions of the transitional disks in the sample. We also built the median spectral energy distribution of Class II objects in these regions for comparison with transitional disks. The proposed method allows a clear separation of the known transitional disks from the Class II sources. We find 6 transitional disks, all previously known, and identify 5 objects previously thought to be transitional as possibly non-transitional. We find higher fluxes at the PACS wavelengths in the sample of transitional disks than those of Class II objects. We show the Herschel 70 micron band to be an efficient tool for transitional disk identification. The sensitivity and spatial resolution of Herschel reveals a significant contamination level among the previously identified transitional disk candidates for the two regions, which calls for a revision of previous samples of transitional disks in other regions. The systematic excess found at the PACS bands could be a result of the mechanism that produces the transitional phase, or an indication of different evolutionary paths for transitional disks and Class II sources.Comment: Accepted for publication in A&A: 11 March 2013 11 pages, 15 figure